1. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :
المؤلف: Hans Hermes.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Aufzählbarkeit.,Berechenbarkeit.,Recursive functions.
2. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen
المؤلف: Hermes, Hans
المکتبة: (طهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
H4
1978
3. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
المؤلف: Hermes, Hans.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
4. Eine Termlogik mit Auswahloperator
المؤلف: Hermes, Hans
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
5. Einfuhrung in die Verbandstheorie
المؤلف: Hermes, Hans
المکتبة: (طهران)
موضوع: ، Lattice theory
رده :
QA
171
.
5
.
H47
1967
6. Einfuhrung in die Verbandstheorie
المؤلف: Hermes, Hans.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Lattice theory
رده :
QA
1
.
G7
v
.
73
1967
7. Einführung in die Verbandstheorie.
المؤلف: Hans Hermes
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Einführung.,Lattice theory.,Treillis, Théorie des.
رده :
QA171
.
5
H367
1967
8. Einführung in die mathematische Logik :
المؤلف: von Hans Hermes.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering.
رده :
QA9
.
V664
1972
9. Einfuhrung in die mathematische Logik: Klassische pradikatenlogik
المؤلف: Hermes, Hans
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H44
10. Einführung in die Verbandstheorie
پدیدآورنده : /Hans Hermes.
موضوع : نظریه شبکه ( لاتیس)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Enumerability · Decidability Computability
المؤلف: by Hans Hermes.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.
12. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Enumerability decidability computability : an introduction to the theory of recursive functions
المؤلف: Hermes, Hans
المکتبة: (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
14. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Introduction to mathematical logic
المؤلف: / Hans Hermes; translated from German by Diana Schmidt
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
H553
16. Introduction to mathematical logic
المؤلف: Hermes, Hans
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H47I513
1973
17. Introduction to mathematical logic
المؤلف: Hermes, Hans.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H4
18. Posthumous writings
المؤلف: Frege, Gottlob
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics
19. Posthumous writings
المؤلف: Frege, Gottlob, 8481-5291
المکتبة: (طهران)
موضوع: ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
3
.
F73N213
20. Posthumous writings /
المؤلف: Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics
رده :
QA3
.
F74213
1979
